Computer-aided software engineering - PDFSEARCH.IO - Document Search Engine

Computer-aided software engineering
Results: 702

#	Item
111	Complete list of publications Pierre Ganty December 15, 2012 Conference Publications [1] Pierre Ganty, Radu Iosif, and Filip Koneˇcn´ y. Underapproximation of procedure summaries for integer programs. In TACAS ’13: P Add to Reading List Source URL: software.imdea.org Language: English - Date: 2012-12-15 15:15:15 Models of computation Model checking Petri net Lecture Notes in Computer Science ALGOL 68 Computer Aided Verification Formal methods Software engineering Computing Programming language theory
112	Asian office worker at desk Add to Reading List Source URL: www.summit.no Language: English - Date: 2014-11-14 09:03:43 Computer-aided engineering Machine tools Milling machine G-code Multiaxis machining Tool management SolidCAM WorkNC NX Technology Application software Machining
113	SOLUTION SHEET SMARTPLANT® SPOOLGEN® PLUS AUTOMATED QUALITY ASSURANCE DOCUMENTATION, WELD TRACKING, AND PROGRESS MANAGEMENT Intergraph® SmartPlant® Spoolgen® is a proven, industrial-strength application that enable Add to Reading List Source URL: www.intergraph.com Language: English - Date: 2013-07-22 17:26:40 Technology Construction Chemical engineering Building engineering Pipe Computer-aided design Piping Quality assurance Engineering Plumbing GIS software Intergraph
114	Curriculum Vitae Last name : First name : Date and place of birth: Nationality: Address: Add to Reading List Source URL: software.imdea.org Language: English - Date: 2012-12-15 15:15:28 Computer science Model checking Petri net Computer Aided Verification Formal methods ALGOL 68 Models of computation Software engineering Computing
115	Reference information can include mating member sizes, load info, and working point dimensions. Drawing cleanup time is Add to Reading List Source URL: www.steelcad.com Language: English - Date: 2001-03-16 16:00:15 Software Computer-aided design Information technology management Product lifecycle management Civil engineering AutoCAD MicroStation Advance Steel Technical drawing 3D graphics software Autodesk Application software
116	How to Modernize Your Legacy Engineering Archives by David J. Wilson Raster Comes of Age Add to Reading List Source URL: www.cadam.com Language: English - Date: 2007-10-26 15:50:52 Visual arts Computer-aided design 3D graphics software Vectorization Vector graphics Geographic information system Raster graphics Technical drawing Wintopo Computer graphics Graphics file formats Graphics software
117	C&R TECHNOLOGIES® Advanced Design Tools Not just better answers ... better design Add to Reading List Source URL: www.crtech.com Language: English - Date: 2013-04-12 17:33:50 Science Failure Materials science Reliability engineering Software quality Survival analysis Software design Computer-aided design Software development Engineering Technology
118	ERP MAS 90 and 200 spec sheet Add to Reading List Source URL: www.dsdinc.com Language: English - Date: 2013-06-13 06:23:47 Manufacturing Accounting software Computer-aided engineering Information technology management Material requirements planning Enterprise resource planning MAS 90 Bill of materials Inventory Business Technology Supply chain management
119	PDF Document Add to Reading List Source URL: ftp2.bentley.com Language: English - Date: 2014-08-11 10:33:56 Computing MicroStation Structural engineering Bentley Systems ProjectWise Bridge Computer-aided design Software 3D graphics software Application software
120	PDF Document Add to Reading List Source URL: ftp2.bentley.com Language: English - Date: 2010-02-26 16:33:02 GenerativeComponents Bentley Systems Design Architecture Visual arts Software development process Iterative design Construction Science Building engineering Data modeling Computer-aided design

UPDATE